退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:正式的防火墙一致性测试:测试和证明技术的应用
Brucker, Achim D.; Lukas, Brügger; Wolff, Burkhart;
机译:一种机器学习驱动的进化方法来测试Web应用程序防火墙
机译:一种用于测试Web应用防火墙的机器学习驱动的进化方法
机译:用于高级可测试性设计的形式化价值范围和可变可测试性技术
机译:通过使用OCL的形式证明对AutomationML模型进行一致性测试的概念
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:对医学俗语和规则的各种例外的发现阐释哲学检验和形式证明
机译:协议一致性测试的测试目标的形式表示
机译:用于测试服务编目一致性的设备及其方法,能够在结合了Web服务的情况下对编目应用的一致性进行测试
机译:测试应用技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。